Die Corcovado-Bergbahn, eine mit Drehstrom betriebene Zahnradbahn